1

Clausal resolution for normal modal logics

Year:
2007
Language:
english
File:
PDF, 248 KB
english, 2007
3

Towards Resolution-based Reasoning for Connected Logics

Year:
2014
Language:
english
File:
PDF, 282 KB
english, 2014
4

Modal Resolution

Year:
2019
Language:
english
File:
PDF, 815 KB
english, 2019
11

Classical Resolution for Many-Valued Logics

Year:
2016
Language:
english
File:
PDF, 269 KB
english, 2016